Hume on well-being
نویسنده
چکیده
منابع مشابه
Mulla Sadra and Hume on Comparative Analyzing of Causality
One of the most important causes for comparative studying on philosophical systems is to find their commonalities for responding common questions and to emphasize on their differences for taking functional answers encountering modern philosophical challenges and problems. Here, causality is chosen as the case study. Causality is of the basic philosophical issues that have been continually consi...
متن کاملHume to FPGA
Hume is a novel language in the functional tradition, strongly oriented to systems requiring strong guarantees that resource bounds are met. To facilitate resource assurance, Hume enforces a separation of coordination and computation concerns, and deploys an abstract machine intermediary between implementations and analyses. These core design decisions also enable a high degree of portability a...
متن کاملThe Argument of Possibility and necessity encountering the critiques of Russell, Hume, and Kant
The argument of possibility and necessity- which is considered as some of the most important arguments in proving the existence of God - have taken a key place in humanschr('39') thoughts. In history, among thinkers related to the creation of the universe, no major philosopher or thinker can be found other than those who have faced this argument; thus this argument has met many criticisms an...
متن کاملExploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design is to explore the expressibility/costability spectrum in resource-constrained systems, such as real-time embedded or control systems. It is unusual in being based on a combination of λ-calculus and finite state machi...
متن کاملBounded Space Programming using Finite State Machines and Recursive Functions: the Hume Approach
Software engineering involves matching abstract software requirements to concrete implementations. Programming at a high-level of abstraction improves confidence in the correctness of functional requirements and reduces the cost of constructing software, but loses confidence in the correctness of behavioural requirements. This is especially serious for resource-constrained systems, such as real...
متن کامل